Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
121	PCFGs 2 Questions Calculating P(w1m ) Inside Probabilities Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-11-05 12:02:32 Formal languages Compiler construction Natural language parsing Software engineering Bioinformatics Statistical natural language processing Stochastic context-free grammar CYK algorithm Computing Applied mathematics Parsing Context-free grammar
122	Microsoft WordCARLSON.doc Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-02-13 09:07:42 Formal languages Syntax Linguistics Language Software engineering Compiler construction Computational linguistics Grammar Parsing Treebank Context-free grammar Categorial grammar
123	The Influence of Software Module Systems on Modular Verification Harry Li , Kathi Fisler and Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:30:39 Hardware verification languages E Component-based software engineering Model checking Modularity Modular programming Aspect-oriented software development Formal verification
124	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
125	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
126	The Simple Language Generator: Encoding complex languages with simple grammars Douglas L. T. Rohde September, 1999 CMU-CS Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-07 12:32:37 Formal languages Grammar Compiler construction Generative grammar Parsing Syntax Context-free grammar Terminal and nonterminal symbols Phrase
127	Computing Fundamentals Strings Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-04 05:28:35 C standard library Formal languages Character encoding String Comparison of programming languages Scanf format string Printf format string String literal Stringed instrument tunings
128	Corpus Linguistics Regular expressions Motivating regular expressions Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-09-23 11:49:51 Pattern matching Formal languages Cross-platform software Scripting languages Regular expressions Grep TRE Sed Find Regular language Ngrep Perl
129	Algebraic Dynamic Programming 2.0 Robert Giegerich Faculty of Technology and Center for Biotechnology, Bielefeld University, 33594 Bielefeld, Germany H´el`ene Touzet Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Computational phylogenetics Operations research Formal languages Tree alignment Dynamic programming Generalized tree alignment Mathematical optimization Rewriting Bioinformatics Context-free grammar
130	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation

UPDATE